We use both analytical and numerical approaches based on the Nambu-JonaLasino (NJL) or the Polyakov-Nambu-Jona-Lasino (PNJL) model to investigate the spinodal instability of a baryon-rich quark matter. In the analytical ...